Suchergebnis

• Bounded arithmetic, propositional logic and complexity theory Krajíček, Jan Cambridge [u.a.] : Cambridge Univ. Press, 1995

• Forcing with random variables and proof complexity Krajíček, Jan Cambridge [u.a.] : Cambridge Univ. Press, 2011